Merge branch 'property-selection' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Sat, 6 Jun 2020 17:35:05 +0000 (17:35 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Sat, 6 Jun 2020 17:35:05 +0000 (17:35 +0000)
commit8fca040163bdc5de9b4926ce6614520d4672de06
tree4a0bf85f9b6b4719f02203e0b7b76a82f2d90389
parent951c9c5d735bc61fae4f24bf8ef711bb9bdb380b
parent14605d4b92738dc965e2f96265dc007bb12f677b
Merge branch 'property-selection' into 'master'

Property selection

Closes #2826

See merge request GNOME/gtk!2054